Let G be a group and p a prime divisor of |G|. If pk divides |G| but pk + 1 does not, then a subgroup of G of order pk is called a Sylow p-subgroup of G.